<!-- iso-amsr.ent produced by Norman Walsh for the XML version of DocBook -->

<!-- Derived from the corresponding ISO 8879 standard entity set
     and the Unicode character mappings provided by Sebastian Rahtz -->

<!ENTITY ape	"&#x224A;"> <!--  -->
<!ENTITY asymp	"&#x224D;"> <!-- EQUIVALENT TO -->
<!ENTITY bcong	"&#x224C;"> <!-- ALL EQUAL TO -->
<!ENTITY bepsi	"&#xE420;"> <!--  -->
<!ENTITY bowtie	"&#x22C8;"> <!--  -->
<!ENTITY bsim	"&#x223D;"> <!--  -->
<!ENTITY bsime	"&#x22CD;"> <!--  -->
<!ENTITY bump	"&#x224E;"> <!--  -->
<!ENTITY bumpe	"&#x224F;"> <!--  -->
<!ENTITY cire	"&#x2257;"> <!--  -->
<!ENTITY colone	"&#x2254;"> <!--  -->
<!ENTITY cuepr	"&#x22DE;"> <!--  -->
<!ENTITY cuesc	"&#x22DF;"> <!--  -->
<!ENTITY cupre	"&#x227C;"> <!--  -->
<!ENTITY dashv	"&#x22A3;"> <!--  -->
<!ENTITY ecir	"&#x2256;"> <!--  -->
<!ENTITY ecolon	"&#x2255;"> <!--  -->
<!ENTITY eDot	"&#x2251;"> <!--  -->
<!ENTITY esdot	"&#x2250;"> <!--  -->
<!ENTITY efDot	"&#x2252;"> <!--  -->
<!ENTITY egs	"&#x22DD;"> <!--  -->
<!ENTITY els	"&#x22DC;"> <!--  -->
<!ENTITY erDot	"&#x2253;"> <!--  -->
<!ENTITY fork	"&#x22D4;"> <!--  -->
<!ENTITY frown	"&#x2322;"> <!--  -->
<!ENTITY gap	"&#x2273;"> <!-- GREATER-THAN OR EQUIVALENT TO -->
<!ENTITY gsdot	"&#x22D7;"> <!--  -->
<!ENTITY gE	"&#x2267;"> <!--  -->
<!ENTITY gel	"&#x22DB;"> <!--  -->
<!ENTITY gEl	"&#x22DB;"> <!--  -->
<!ENTITY ges	"&#xE421;"> <!--  -->
<!ENTITY Gg	"&#x22D9;"> <!-- VERY MUCH GREATER-THAN -->
<!ENTITY gl	"&#x2277;"> <!--  -->
<!ENTITY gsim	"&#x2273;"> <!-- GREATER-THAN OR EQUIVALENT TO -->
<!ENTITY Gt	"&#x226B;"> <!-- MUCH GREATER-THAN -->
<!ENTITY lap	"&#x2272;"> <!-- LESS-THAN OR EQUIVALENT TO -->
<!ENTITY ldot	"&#x22D6;"> <!--  -->
<!ENTITY lE	"&#x2266;"> <!--  -->
<!ENTITY lEg	"&#x22DA;"> <!--  -->
<!ENTITY leg	"&#x22DA;"> <!--  -->
<!ENTITY les	"&#xE425;"> <!--  -->
<!ENTITY lg	"&#x2276;"> <!-- LESS-THAN OR GREATER-THAN -->
<!ENTITY Ll	"&#x22D8;"> <!--  -->
<!ENTITY lsim	"&#x2272;"> <!-- LESS-THAN OR EQUIVALENT TO -->
<!ENTITY Lt	"&#x226A;"> <!-- MUCH LESS-THAN -->
<!ENTITY ltrie	"&#x22B4;"> <!--  -->
<!ENTITY mid	"&#x2223;"> <!--  -->
<!ENTITY models	"&#x22A7;"> <!-- MODELS -->
<!ENTITY pr	"&#x227A;"> <!--  -->
<!ENTITY prap	"&#x227E;"> <!--  -->
<!ENTITY pre	"&#x227C;"> <!--  -->
<!ENTITY prsim	"&#x227E;"> <!--  -->
<!ENTITY rtrie	"&#x22B5;"> <!--  -->
<!--     samalg	Unknown unicode character -->
<!ENTITY sc	"&#x227B;"> <!--  -->
<!ENTITY scap	"&#x227F;"> <!--  -->
<!ENTITY sccue	"&#x227D;"> <!--  -->
<!ENTITY sce	"&#x227D;"> <!--  -->
<!ENTITY scsim	"&#x227F;"> <!--  -->
<!ENTITY sfrown	"&#xE426;"> <!--  -->
<!ENTITY smid	"&#xE301;"> <!--  -->
<!ENTITY smile	"&#x2323;"> <!--  -->
<!ENTITY spar	"&#xE302;"> <!--  -->
<!ENTITY sqsub	"&#x228F;"> <!--  -->
<!ENTITY sqsube	"&#x2291;"> <!--  -->
<!ENTITY sqsup	"&#x2290;"> <!--  -->
<!ENTITY sqsupe	"&#x2292;"> <!--  -->
<!ENTITY ssmile	"&#xE303;"> <!--  -->
<!ENTITY Sub	"&#x22D0;"> <!--  -->
<!ENTITY subE	"&#x2286;"> <!--  -->
<!ENTITY Sup	"&#x22D1;"> <!--  -->
<!ENTITY supE	"&#x2287;"> <!--  -->
<!ENTITY thkap	"&#xE306;"> <!--  -->
<!ENTITY thksim	"&#xE429;"> <!--  -->
<!ENTITY trie	"&#x225C;"> <!--  -->
<!ENTITY twixt	"&#x226C;"> <!-- BETWEEN -->
<!ENTITY vdash	"&#x22A2;"> <!--  -->
<!ENTITY Vdash	"&#x22A9;"> <!--  -->
<!ENTITY vDash	"&#x22A8;"> <!--  -->
<!ENTITY veebar	"&#x22BB;"> <!--  -->
<!ENTITY vltri	"&#x22B2;"> <!--  -->
<!ENTITY vprop	"&#x221D;"> <!--  -->
<!ENTITY vrtri	"&#x22B3;"> <!--  -->
<!ENTITY Vvdash	"&#x22AA;"> <!--  -->
